Creating a program that enables the computer to reason logically
A computer language designed in Europe to support natural language processing
